module Say

match true, true{caret} with
| true, (x as (true | false)) -> ()
